1. Constructive Methods in Computing Science :
پدیدآورنده: edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA75
.
5
E358
1989
2. Constructive methods in computing science : International Summer School
پدیدآورنده: directed by E. L. Bauer...]et al.[; edited by Manfred Broy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing
رده :
QA
75
.
5
.
N383
1988
3. Control Flow and Data Flow:
پدیدآورنده: edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Microprogramming.
رده :
QA76
.
9
.
D5
E358
1986
4. Control flow and data flow: concepts of distributed programming: interantional. summer school directed by F. L. Bauer, E. W. Dijkstra )and( C.A.R. Hoare
پدیدآورنده: edited by Manfred Broy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Distributed processing - Congresses ، Electronic data processing,Programming - Congresses ، Electronic digital computers
رده :
QA
76
.
9
.
D5
N375
1984
5. Engineering Theories of Software Intensive Systems
پدیدآورنده: \ Edited by Manfred Broy...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses. ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
E-Book
,
6. Engineering methods and tools for software safety and security
پدیدآورنده: [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering-- Data processing.,Engineering-- Methodology.
رده :
TA345
.
E64
2009eb
7. Engineering methods and tools for software safety and security
پدیدآورنده: [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering-- Data processing.,Engineering-- Methodology.
رده :
TA345
.
E64
2009eb
8. Engineering theories of software construction
پدیدآورنده: / edited by Tony Hoare, Manfred Broy, and Ralf Steinbruggen
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: طراح‍ی س‍ی‍س‍ت‍م,ن‍رم اف‍زار -- مهندسی
رده :
QA
۷۶
/
۷۵۸
/
ال
ف
۸ ۱۳۸۰
9. Formal Methods in Programming and Their Applications :
پدیدآورنده: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1993
10. Formal systems specification :
پدیدآورنده: Manfred Broy, Stephan Merz, Katharina Spies (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Elaborazione elettronica dei dati -- Elaborazione distribuita.,Reti di elaboratori.
11. Formal systems specification : the RPC-memory specification case study
پدیدآورنده: Manfred Broy, Stephan Merz, Katharina Spies )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Electronic data processing -- Distributed processing,، Computer networks,، Memory management )Computer science(
رده :
QA
76
.
L28
Vol
.
1169
12. Informatik :
پدیدآورنده: von Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers)
13. Informatik :
پدیدآورنده: Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
14. Informatik :
پدیدآورنده: von Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer software.,Data structures (Computer science)
رده :
QA76
.
9
.
A43
V666
1995
15. Informatik :
پدیدآورنده: Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
QA268
.
M364
1993
16. KORSO : methods, languages, and tools for the construction of correct software : final report
پدیدآورنده: Manfred Broy, Stefan Jahnichen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1009
17. Logic of Programming and Calculi of Discrete Design :
پدیدآورنده: edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
9
.
L63
E358
1987
18. Logic of programming and calculi of discrete design
پدیدآورنده: edited by Manfred Broy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages
رده :
QA
267
.
3
.
N38
1986
19. Logische und methodische Grundlagen der Programm- und Systementwicklung :
پدیدآورنده: Manfred Broy ; unter Mitarbeit von Alexander Malkis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebraische Spezifikation,Algorithmische Programmierung,Beweis,Datenstruktur,Funktionale Programmierung,Korrektheit,Objektorientierte Programmierung,Softwareentwicklung,Softwarespezifikation,Systementwicklung
20. Mathematical Methods in Program Development
پدیدآورنده: edited by Manfred Broy, Birgit Schieder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1997
